HAL Analysis